Engineering Institute - PDFSEARCH.IO - Document Search Engine

Engineering Institute
Results: 21740

#	Item
11	For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:50:47 Graph theory Computing Resource Description Framework Query languages Mathematics Discrete mathematics SPARQL FO Graph Directed graph RDFLib
12	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:50:05 Functional predicate Model theory Symbol Limit of a function Universal quantification Mathematical logic Mathematics Logic
13	Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-11 13:01:38 Computer network security Computing Cyberwarfare Multi-agent systems Spamming Cybercrime Botnets Intrusion detection system Server Cluster analysis Internet bot Computer security
14	Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:48:58 Computer memory Computer data storage Embedded Linux Data management Computing Non-volatile memory Flash file system Flash memory Data UBIFS File system JFFS2
15	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
16	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Programming language implementation Compiler construction Software engineering Computing Compiler optimizations Software testing Abstract interpretation LLVM Compiler Intermediate representation Hoare logic Static single assignment form
17	1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2014-12-08 15:44:41 Cryptography Public-key cryptography Transport Layer Security Cryptographic software Secure communication Cryptographic protocols Mbed TLS Cipher suite OpenSSL Forward secrecy Post-quantum cryptography HTTPS
18	BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Functions and mappings Function Graph of a function Abstraction Structure
19	Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 15:46:40 System software Computing Utility software Computer network security Computer security Configuration management Network architecture Software-defined networking Intrusion detection system Snort OpenFlow Traffic flow
20	UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Compilers LLVM Carnegie Mellon University Unidentified flying object Mellon Carnegie Arie Software

UPDATE